Mutual algebraicity and cellularity

We prove two results intended to streamline proofs about cellularity that pass through mutual algebraicity. First, we show a countable structure $M$ is cellular if and only $\omega$-categorical mutually algebraic. Second, in finite relational language algebraic non-cellular, it admits an elementary extension adding infinitely many infinite MA-connected components. Towards these results, introduce MA-presentations of structure, which every atomic formula This allows for improved quantifier elimination decomposition the into independent pieces. also this largely MA-presentation chosen.